12.88/14.28	unsat
