13.27/15.78	unsat
