12.68/13.28	unsat
