42.65/44.48	unsat
