45.78/48.13	unsat
