45.66/48.16	unsat
