9.66/13.04	unsat
