9.60/13.04	unsat
