1.30/3.88	unsat
