46.25/50.02	unsat
