12.67/14.28	unsat
