14.64/15.68	unsat
