48.93/50.16	unsat
