48.30/49.00	unsat
