5.78/8.12	unsat
