15.46/18.10	unsat
