50.10/50.34	unsat
