45.20/49.30	unsat
