4.65/12.43	unsat
