12.67/13.12	unsat
