12.67/15.13	unsat
