48.49/49.16	unsat
