47.67/47.81	unsat
