11.85/14.28	unsat
