8.70/13.28	unsat
