47.74/48.28	unsat
