7.92/12.26	unsat
