49.07/50.03	unsat
