12.85/13.11	unsat
