1.77/1.82	unsat
