29.41/29.56	unsat
