39.65/42.98	unsat
