29.46/29.56	unsat
