45.14/48.00	unsat
