13.64/13.78	unsat
