45.02/47.30	unsat
