48.89/50.68	unsat
