12.67/13.08	unsat
