29.13/29.98	unsat
