12.97/14.87	unsat
