1.69/3.55	unsat
