95.65/101.62	unsat
