20.94/29.19	unsat
