45.50/48.26	unsat
