45.50/47.08	unsat
