34.21/34.32	unsat
