12.83/13.28	unsat
