10.85/14.28	unsat
