11.97/12.87	unsat
