7.77/8.12	unsat
