12.98/14.13	unsat
