50.89/50.93	unsat
