1.30/3.69	unsat
