9.77/9.94	unsat
