12.77/13.10	unsat
