1.92/6.30	unsat
