29.15/30.54	unsat
