12.67/13.09	unsat
