7.68/12.91	unsat
