7.77/10.24	unsat
