12.67/13.30	unsat
