9.87/13.04	unsat
