50.03/50.11	unsat
