14.26/15.68	unsat
