48.91/50.28	unsat
