45.26/47.08	unsat
