49.06/50.66	unsat
